فیلترها/جستجو در نتایج    

فیلترها

سال

بانک‌ها




گروه تخصصی










متن کامل


نویسندگان: 

ALJOUIEE A. | ALRUSAINI F.

اطلاعات دوره: 
  • سال: 

    2010
  • دوره: 

    4
  • شماره: 

    11
  • صفحات: 

    535-540
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    152
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 152

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

GHAFARI GH. | Azadi Gh. | Azanchiler H.

اطلاعات دوره: 
  • سال: 

    2018
  • دوره: 

    5
  • شماره: 

    1
  • صفحات: 

    81-88
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    240
  • دانلود: 

    0
چکیده: 

Given a binary matroid M and a subset T  E(M), Luis A. Goddyn posed a problem that the dual of the splitting of M, i. e., ((MT ) ∗ ) is not always equal to the splitting of the dual of M, ((M ∗ )T ). This persuade us to ask if we can characterize those binary matroids for which (MT ) ∗ = (M ∗ )T. Santosh B. Dhotre answered this question for a two-element subset T. In this paper, we generalize his result for any subset T  E(M) and exhibit a criterion for a binary matroid M and subsets T for which (MT ) ∗ and (M ∗ )T are the equal. We also show that there is no subset T  E(M) for which, the dual of element splitting of M, i. e., ((M ′ T ) ∗ ) equals to the element splitting of the dual of M, ((M ∗ ) ′ T ).

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 240

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
اطلاعات دوره: 
  • سال: 

    2022
  • دوره: 

    9
  • شماره: 

    2
  • صفحات: 

    1-10
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    39
  • دانلود: 

    0
چکیده: 

In this paper, we combine two binary operations ℾ,-Extension and element split-ting under special conditions, to extend binary matroids. For a given binary matroid M, we call a matroid obtained in this way a Λ,-Extension of M. We note some attractive properties of this matroid operation, particularly constructing a chordal matroid from a chordal binary matroid.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 39

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
عنوان: 
نویسندگان: 

اطلاعات دوره: 
  • سال: 

    1400
  • دوره: 

  • شماره: 

  • صفحات: 

    -
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    30
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 30

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

LU L.X. | ZHENG W.W.

اطلاعات دوره: 
  • سال: 

    2010
  • دوره: 

    7
  • شماره: 

    1
  • صفحات: 

    81-89
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    386
  • دانلود: 

    0
چکیده: 

The aim of this paper is to study the categorical relations between matroids, Goetschel-Voxman’s fuzzy matroids and Shi’s fuzzifying matroids. It is shown that the category of fuzzifying matroids is isomorphic to that of closed fuzzy matroids and the latter is concretely coreflective in the category of fuzzy matroids. The category of matroids can be embedded in that of fuzzifying matroids as a simultaneously concretely reflective and coreflective subcategory.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 386

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
اطلاعات دوره: 
  • سال: 

    2022
  • دوره: 

    7
  • شماره: 

    1
  • صفحات: 

    69-79
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    124
  • دانلود: 

    0
چکیده: 

To extract some more information from the constructions of matroids that arise from new operations, computing the Tutte polynomial, plays an important role. In this paper, we consider applying three operations of splitting, element splitting and splitting o to a binary matroid and then introduce the Tutte polynomial of resulting matroids by these operations in terms of that of original matroids.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 124

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
عنوان: 
اطلاعات دوره: 
  • سال: 

    2016
  • دوره: 

    47
تعامل: 
  • بازدید: 

    135
  • دانلود: 

    0
چکیده: 

IN THIS PAPER, THE QUANTITY DISTANCE BETWEEN NODE J AND NODE N IN A RANDOM binary INCREASING TREE OF ORDER N IS STUDIED.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 135

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0
اطلاعات دوره: 
  • سال: 

    1400
  • دوره: 

    19
  • شماره: 

    1
  • صفحات: 

    63-68
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    276
  • دانلود: 

    97
چکیده: 

در این مقاله نشان داده شده است که می توان هر نوع داده دودویی را به صورت اجتماعی از کدکلمه هایی با طول متغیر تعریف کرد. این ویژگی به ما کمک می کند که بتوان نگاشتی یک به یک و پوشا از کدکلمه های پیشنهادی به کدکلمه های مورد نیاز تعریف کرد. از این رو با جایگزینی کدکلمه های جدید، داده های دودویی به داده های دودویی دیگری در راستای اهداف موردنظر تبدیل می گردد. یکی از این اهداف، کاستن حجم داده است. یعنی به جای کدکلمه های اصلی هر داده ی دودویی، کدکلمه های هافمن را جایگزین نمود تا حجم داده کمتر گردد. یکی از ویژگی های این روش، نتیجه ی فشرده سازی مثبت برای هر نوع داده ی دودویی است، یعنی صرف نظر از حجم جدول کد، تفاضل حجم داده ی اصلی و حجم داده بعد از فشرده سازی، بزرگتر یا مساوی صفر خواهد شد. ویژگی مهم و کاربردی دیگر این روش، استفاده از کدکلمه های متقارن به جای کدکلمه های اصلی به منظور ایجاد خواص تقارن، بازگشت پذیری و مقاومت در برابر خطا با قابلیت کدگشایی دوطرفه است.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 276

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 97 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نشریه: 

منطق پژوهی

اطلاعات دوره: 
  • سال: 

    1402
  • دوره: 

    14
  • شماره: 

    1
  • صفحات: 

    87-102
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    53
  • دانلود: 

    0
چکیده: 

در این مقاله، ابتدا معناشناسی کریپکی برای منطق وجهی نرمال با یک عملگر دو موضعی را تعریف کرده و سیستمی به نام K^2 را که نسبت به این معناشناسی درست و تمام است را معرفی خواهیم کرد. سپس دو نوع ترجمه ارائه خواهیم کرد و با استفاده از این ترجمه ها نشان خواهیم داد که منطق وجهی نرمال دو موضعی (K^2) و منطق وجهی نرمال استاندارد (K) بسیار به هم مرتبط هستند. یک ترجمه را تعبیر-پایدار می نامیم، در صورتی که اثبات پذیری در هر دو جهت حفظ شود. طبق این تعریف، ثابت خواهیم کرد که هر دو ترجمه ی معرفی شده، تعبیر-پایدار از K به K^2 و بالعکس هستند. یک توسیع از منطق K، یک مجموعه از فرمول ها است که شامل K است و تحت قواعد آن و جانشینی یکنواخت بسته است. توسیعی از منطق K^2 را نیز به همین صورت تعریف خواهیم کرد. در نهایت ثابت خواهیم کرد که یک تناظر یک-به-یک بین توسیع هایی از منطق K و منطق K^2 وجود دارد.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 53

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

ALAVI TOUSSI HAMID | SADEGHI BIGHAM BAHRAM

اطلاعات دوره: 
  • سال: 

    2016
  • دوره: 

    4
  • شماره: 

    2
  • صفحات: 

    117-124
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    474
  • دانلود: 

    0
چکیده: 

Elimination of redundancies in the memory representation is necessary for fast and efficient analysis of large sets of fuzzy data. In this work, we use MTBDDs as the underlying data-structure to represent fuzzy sets and binary fuzzy relations. This leads to elimination of redundancies in the representation, less computations, and faster analyses. We also extended a BDD package (BuDDy) to support MTBDDs in general and fuzzy sets and relations in particular. Representation and manipulation of MTBDD based fuzzy sets and binary fuzzy relations are described in this paper. These include design and implementation of different fuzzy operations such as max, min and max-min composition. In particular, an efficient algorithm for computing max-min composition is presented. Effectiveness of our MTBDD based implementation is shown by applying it on fuzzy connectedness and image segmentation problem. Compared to a base implementation, the running time of the MTBDD based implementation was faster (in our test cases) by a factor ranging from 2 to 27. Also, when the MTBDD based data-structure was employed, the memory needed to represent the final results was improved by a factor ranging from 37.9 to 265.5. We also describe our base implementation which is based on matrices.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 474

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
litScript
telegram sharing button
whatsapp sharing button
linkedin sharing button
twitter sharing button
email sharing button
email sharing button
email sharing button
sharethis sharing button